perm filename GLORP[1,DBL] blob
sn#016207 filedate 1972-12-12 generic text, type T, neo UTF8
00100 BEGIN
59800 EXPR GS2();
59900 BEGIN
59950 I←NIL;
60000 SCHEMA2 ← '(DE FN2(L M) (COND
60100 ((AND ((CAR (GET F2 TARGS)) L)
60200 ((CAR (GET F3 TARGS)) M)
60300 ((CAR (GET F1 TARGS)) (F2 L))
60400 ((CADR (GET F1 TARGS)) (F3 M))
60500 (EQUAL (F1 (F2 L) (F3 M)) C1)
60600 ((CAR (GET F5 TARGS)) L)
60700 ((CAR (GET F6 TARGS)) M)
60800 ((CAR (GET F4 TARGS)) (F5 L))
60900 ((CADR (GET F4 TARGS)) (F6 M)))
61000 (F4 (F5 L) (F6 M)))
61100 ((AND ((CAR (GET F8 TARGS)) L)
61200 ((CAR (GET F9 TARGS)) M)
61300 ((CAR (GET F7 TARGS)) (F8 L))
61400 ((CADR (GET F7 TARGS)) (F9 M))
61500 (EQUAL (F7 (F8 L) (F9 M)) C3)
61600 ((CAR (GET F11 TARGS)) L)
61700 ((CAR (GET F12 TARGS)) M)
61800 ((CAR (GET F10 TARGS)) (F11 L))
61900 ((CADR (GET F10 TARGS)) (F12 M)))
62000 (F10 (F11 L) (F12 M) ) )
62100
62200 ((OR (GT2 L M)
62300 (AND (INFINITY)
62400 ((CAR (GET F16 TARGS)) M)
62500 ((CAR (GET F15 TARGS)) L)
62600 ((CAR (GET F14 TARGS)) (F15 L))
62700 ((CADR (GET F14 TARGS)) (F16 M))
62800 ((CAR (GET F18 TARGS)) L)
62900 ((CAR (GET F19 TARGS)) M)
63000 ((CAR (GET F17 TARGS)) (F18 L))
63100 ((CADR (GET F17 TARGS)) (F19 M))
63200 ((CAR (GET F13 TARGS))
63300 (SETQ &E1 (F14 (F15 L) (F16 M))))
63400 ((CADR (GET F13 TARGS))
63500 (SETQ &E2 (F17 (F18 L) (F19 M))))))
63600 (F13 &E1 &E2))
63700 (T C2)
63725 )
63737 )
63743 )
63746 )
63748 )
63749 );
63750
63775
64100 END;
99600 END.